141. Introduction to information processing
پدیدآورنده : Spencer, Donald D
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه الزهراء (س) (طهران)
موضوع : ، Electronic data processing,، Electronic digital computers - programing,، Programming languages ) Electronic computers(
رده :
QA
76
.
S678
142. Introduction to natural language processing
پدیدآورنده : Harris, Mary Dee
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Interactive computer system,Semantics ، Programming languages )Electronic computers(
رده :
QA
76
.
9
.
I58
H37
1985
143. Introduction to programming languages
پدیدآورنده : Peterson, W. Wesley)William Wesley(
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Programming languages )Electronic computers(
رده :
QA
76
.
7
.
P49
144. Introduction to the theory of programming languages
پدیدآورنده : Bertrand meyer
کتابخانه: (کرمان)
موضوع : Programming languages )Electronic computers(,Programming languages )Electronic computers( -- Semantics
رده :
QA
76
,.
7
.
M49
1990
145. Introduction to the theory of programming languages
پدیدآورنده : / Bertrand Meyer
کتابخانه: مكتبة معهد الجيوفيزياء (طهران)
موضوع : Programming languages )Electronic computers(,Programming languages )Electronic computers( - Semantics
رده :
QA
76
.
7
.
M49
146. Introduction to the theory of programming languages
پدیدآورنده : Bertrand Meyer,Title
کتابخانه: (مازندران)
موضوع : Programming languages )Electronic computers(,Programming languages )Electronic computers(, Semantics
رده :
QA
.
M49
76
.
7
1988
147. Introduction to the theory of programming languages
پدیدآورنده : Meyer, Bertrand
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Progamming languages )Electronic computer(,Semantics ، Programming languages )Electronic computers(
رده :
QA
76
.
7
.
M49
1991
148. Introduction to the theory of programming languages
پدیدآورنده : Meyer, Bertrand
موضوع : ، Programming languages )Electronic computers(,، Programming languages )Electronic computers( -- Semantics
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
149. Introduction to the theory of programming languages
پدیدآورنده : / Bertrand Meyer
کتابخانه: المكتبة المركزية لجامعة إيلام (إیلام)
موضوع : Programming languages (Electronic computers),Programming languages (Electronic computers) - Semantics
رده :
QA76
.
7
.
M4I5
1988
150. Introduction to the theory of programming languages
پدیدآورنده : / Bertrand Meyer
کتابخانه: المكتبة المركزية بجامعة تبريز و مركز التوثيق والنشر (أذربایجان الشرقیة)
موضوع : Programming languages (Electronic computer),Programming languages (Electronic computers) - Semantics
رده :
QA76
.
7
.
M49
1988
151. Isomorphisms of types : from ]lambda[-calculus to information retrieval and language design
پدیدآورنده : Di Cosmo, Roberto, 3691-
کتابخانه: (طهران)
موضوع : ، Programming languages )Electronic computers(,، Type theory,، Human-computer interaction
رده :
QA
76
.
7
.
D48
152. Language and rules. The Hague, Mouton, 1970
پدیدآورنده : Wheatley, Jon
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Linguistics,، Language data processing,، Programming languages )Electronic computers(
رده :
P
98
.
W5
153. Language prototyping : an algebraic specification approach
پدیدآورنده : editors: Arie van Deursen, Jan Heering, Paul Klint
کتابخانه: (طهران)
موضوع : ، Programming languages )Electronic computers(
رده :
QA
76
.
7
.
L26
154. Languages and compilers for parallel computing
پدیدآورنده : \ James Brodman, Peng Tu (eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Parallel processing (Electronic computers) -- Congresses.,Parallelizing compilers -- Congresses,Parallel programming (Computer science) -- Congresses.,پردازش موازی -- کنگره ها ,برنامه‌نویسی موازی -- کنگره ها
رده :
QA
76
.
642
.
L32
2015
E-Book
,
155. Languages and compilers for parallel computing
پدیدآورنده : \ Xipeng Shen , Frank Mueller, James Tuck (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Parallel programming (Computer science) -- Congresses.,Parallel processing (Electronic computers) -- Congresses,Computer software -- Congresses.,برنامه‌نویسی موازی -- کنگره ها ,پردازش موازی -- کنگره ها ,نرم‌افزار -- کنگره ها
رده :
QA
76
.
642
.
L32
2016
E-Book
,
156. Les Langages de programmation
پدیدآورنده : / Baudoin Drieux, Christian Carrez
کتابخانه: المكتبة المركزية ومركز الأرشيف (طهران)
موضوع : Programming languages (Electronic computers)
رده :
001
.
6424
Dr-L
157. Les langages de programmation en parallele : fortran, cobol, pl-1, apl
پدیدآورنده : Dupont, Philippe
کتابخانه: (طهران)
موضوع : ، Programming languages )Electronic computers(
رده :
QA
76
.
5
.
D8
158. Les mathematiques a la portee de l'ordinateur
پدیدآورنده : Arnold, Ander
کتابخانه: (طهران)
موضوع : ، Automatic theorem proving,، Logic, Symbolic and mathematical,، Programming languages )Electronic computers(
رده :
Q
335
.
A75
159. Logic, language, and computation
پدیدآورنده : \ [edited by] Martin Aher...[et.al]
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer logic -- Congresses.,Programming languages (Electronic computers) -- Semantics -- Congresses.,Computational linguistics -- Congresses.,منطق کامپیوتری -- کنگره ها,زبانهای برنامه‌نویسی کامپیوتر -- معنی شناسی -- کنگره ها ,زبان‌شناسی کامپیوتری -- کنگره ها
رده :
QA
75
.
5
.
L644
2015
E-Book
,
160. Logic of Domains
پدیدآورنده : Zhang, Guo-Qiang, 0691-
کتابخانه: (طهران)
موضوع : ، Programming languages )Electronic computers( -- Semantics,، Logic, Symbolic and mathematical
رده :
QA
76
.
7
.
Z47
1991
